| 1. | Theoretical computer science , 2001 , 259 : 475 - 492
闭包属性在计算机理论科学中应用很广。 |
| 2. | Building the region s strongest theoretical computer science group
成立区内最强的计算机科学理论研究小组 |
| 3. | Theoretical computer science centre , to be set up within the computer science engineering department
学系共设教研职位，以鼓励相关学系的合作研究 |
| 4. | Theoretical computer science , 1997 , 175 : 127 - 158 . 3 toyama y . how to prove equivalence of term rewriting systems without induction
本方法基于覆盖集合归纳法和项重写系统的元计算模型：动态项重写计算。 |
| 5. | 3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
符号化的模型检测技术利用二叉图binary decision diagram表示状态转换关系，降低了系统模型所需的内存空间。 |
| 6. | No previous study of the internet is required , but experience with algorithms and / or theoretical computer science at the graduate / research level is needed
本课程不需要任何的先修课程，但等同于研究生程度的对于算法或是计算机理论科学的理解和体验是需要的。 |
| 7. | A fourth undergraduate program leads to the degree bachelor ' s of science in mathematics with computer science ; it is intended for students seriously interested in theoretical computer science
第四种学士学位规划则是针对有兴趣研究理论计算机科学的数学与计算机科学学位。 |
| 8. | In the area of artificial intelligence and theoretical computer science , researchers have paid incremental attentions to the knowledge reasoning ofmulti - agent systems during the near ten years
在人工智能和理论计算机科学领域,多智能体系统中的知识表示和知识推理最近十年来逐渐受到重视。 |
| 9. | 045j is a course in the department ' s " theoretical computer science " concentration . this course has virtually all of its materials online , including a full set of homework assignments and exams
045j是本系以资讯科学理为主修的学程课程之一。这门课拥有完整的线上资源，包含一系列完整的作业与考试。 |
| 10. | 045j is a course in the department ' s " theoretical computer science " concentration . this course has virtually all of its materials online , including a full set of homework assignments and exams
045j是本系以“计算机科学理”为主修的学程课程之一。这门课拥有完整的线上资源，包含一系列完整的作业与考试。 |
